$\forall$$A$,$B$:Type, $x$:$A$. fpf{-}single($x$; $B$) $\in$ fpf($A$; $a$.Type)